161. Formal techniques for distributed systems
پدیدآورنده : Dirk Beyer, Michele Boreale (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
D5
162. Formal verification of object-oriented software :
پدیدآورنده : Bernhard Beckert, Claude Marche (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
F68
2011
163. Foundational and practical aspects of resource analysis :
پدیدآورنده : Ricardo Peña, Marko Eekelen, Olha Shkaravska (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer software -- Development.
164. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
165. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
166. Foundations of health informatics engineering and systems
پدیدآورنده : Zhiming Liu, Alan Wassyng (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Medical informatics, Congresses
رده :
R858
.
A2
F45
2012eb
167. Foundations of object-oriented languages :
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.
رده :
QA76
.
64
J834
1991
168. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
169. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,System analysis, Congresses.
170. Foundations of software technology and theoretical computer science :
پدیدآورنده : ed. by S.N. Maheshwari.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
171. Foundations of software technology and theoretical computer science
پدیدآورنده : V. Arvind, R. Ramanujam (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Computer software, Congresses.,Evolutionary programming (Computer science), Congresses.,Molecular computers, Congresses.,Quantum computers, Congresses.
172. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
پدیدآورنده : K.V. Nori, S. Kumar )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
338
173. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
174. Foundations of software technology and theoretical computer science : Fourth Conference, Bangalore, India, Dec. 13-15, 1984: proceedings
پدیدآورنده : edited by Mathai Joseph and Rudrapatna Shyamasundar
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computers
رده :
QA
76
.
L28
Vol
.
181
175. Foundations of software technology and theoretical computer science: eighth conference, Pune, India, December 21-23, 1988: proceedings
پدیدآورنده : K.V. Nori, S. Kumar )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L4
v
.
338
176. Foundations of software technology and theoretical computer science: fourth conference, Banglore, India, Dec. 13-15, 1984, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming )Electronic computers(-- Congresses,، Computers-- Congresses
رده :
QA
76
.
6
.
F686
1984
177. Foundations of software technology and theoretical computer science; seventh Confernce, Pune, India, December 17-19, 1987 : proceedings
پدیدآورنده : Kesav V. Nori )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
287
178. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
179. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
180. Functional and constraint logic programming :
پدیدآورنده : Julio Mariño (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011